81. Metric-driven design verification
پدیدآورنده : / Hamilton B. Carter, Shankar Hemmady
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Integrated circuits, Verification
رده :
TK7874
.
58
.
C37
2007
82. Models in hardware testing
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic digital computers ; Circuits ; Testing. ; Integrated circuits ; Verification. ; Integrated circuits ; Computer simulation. ;
83. Models, methods, and tools for complex chip design :selected contributions from FDL 2012
پدیدآورنده : Jan Haase, editor
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Embedded computer systems - Design and construction,Congresses ، Integrated circuits - Design and construction,، Engineering,، Circuits and Systems,، Processor Architectures,، Electronics and Microelectronics, Instrumentation
رده :
TK7895
.
E42
84. Practical design verification
پدیدآورنده : edited by Dhiraj K. Pradhan, Ian G. Harris
کتابخانه: (طهران)
موضوع : ، Integrated circuits -- Verification
رده :
TK
7874
.
58
.
P72
85. Principles of functional verification
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ;
86. Principles of verifiable RTL design
پدیدآورنده : / Lionel Bening and Harry Foster
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design
رده :
TK7874
.
75
.
B47
2001
87. Principles of verifiable RTL design
پدیدآورنده : / Lionel Bening and Harry Foster
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design
رده :
E-BOOK
88. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog
پدیدآورنده : Bening, Lionel
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers
رده :
TK
7874
.
75
.
B47
2001
89. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog
پدیدآورنده : Bening, Lionel
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers
رده :
TK
7874
.
75
.
B47
90. Professional verificatio
پدیدآورنده : / Paul Wilcox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits, Verification,Electronic books., local
رده :
TK7874
.
58
.
W55
,
2004eb
91. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits , Verification,Integrated circuits , Design and construction,Electronic books. , local
رده :
E-BOOK
92. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
E-BOOK
93. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7874
.
58
.
W55
2004
94. Reasoning in Boolean networks
پدیدآورنده : / by Wolfgang Kunz and Dominik Stoffel
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Integrated circuits, Very large scale integration, Testing, Data processing,Integrated circuits, Verification, Data processing,Logic design, Data processing
رده :
TK7874
.
K866
1997
95. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
96. Reasoning in boolean networks : logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: (طهران)
موضوع : Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design
رده :
TK
7874
.
K866
1997
97. Standardized functional verification
پدیدآورنده : Wiemann, Alan.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Integrated circuits --Verification,، Circuits inte gre s --Ve rification
98. Surrogate-Based Modeling and Optimizatio
پدیدآورنده : / edited by Slawomir Koziel, Leifur Leifsson
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science, Mathematics,Mathematical optimization,Astronautics,Electronic books
رده :
E-BOOK
99. System specification and design languages
پدیدآورنده : / Tom J. Kaazmierski, Adam Morawiec, editors
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
رده :
TK7885
.
7
.
F35
2012
100. System verilog for verification :a guide to learning the testbench language features
پدیدآورنده : Spear, Chris.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Verilog )Computer hardware description language(,Verification ، Integrated circuits
رده :
TK
7885
.
7
.
S67